$\forall$$x$, $y$:$\mathbb{Z}$. ($\neg$($\uparrow$($x$ =$_{0}$ $y$))) $\Leftarrow\!\Rightarrow$ $x$ $\neq$ $y$